bitkeeper revision 1.1159.17.25 (411c001e5mj9D5ahE9xTur4qa1WK0Q)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 12 Aug 2004 23:41:18 +0000 (23:41 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 12 Aug 2004 23:41:18 +0000 (23:41 +0000)
commita5d95ebe5d0445c2330a54304495a58e1c49d4d0
tree5ee26107db13505c98dba848371cf5fb406427ea
parentf953ebc4f2e8263ddf82071f52d080bb58b34efc
bitkeeper revision 1.1159.17.25 (411c001e5mj9D5ahE9xTur4qa1WK0Q)

Elaborate on concurrency issues when notifying an evtchn, and add an
extra barrier.
xen/include/xen/event.h